Mental State Ascription Using Dynamic Logic
نویسندگان
چکیده
In situations where the behavior of a system must be interpreted because its state is not accessible, it is useful to explain observed behavior in mentalistic terms. This paper presents a formalism based on propositional dynamic logic to model ascription of beliefs, goals, or plans on grounds of observed actions. The formalism is used to provide semantics for an existing approach to abducing the mental state of an observed agent; in doing so it is shown how behavior-producing rules can be given different explanatory interpretations.
منابع مشابه
An Improved MPPT Method of Wind Turbine Based on HCS Method by Using Fuzzy Logic System
In this paper presents a Maximum Power Point Tracking (MPPT) technique based on the Hill Climbing Search (HCS) method and fuzzy logic system for Wind Turbines (WTs) including of Permanent Magnet Synchronous Generator (PMSG) as generator. In the conventional HCS method the step size is constant, therefor both steady-state response and dynamic response of method cannot provide at the same time an...
متن کاملBelief Ascription and Mental-Level Modelling
Models of agents that employ formal notions of mental states are useful and often eas ier to construct than models at the sym bol e g programming language or physi cal e g mechanical level In order to en joy these bene ts we must supply a coher ent picture of mental level models that is a description of the various components of the mental level their dynamics and their inter relations However ...
متن کاملAscribing Beliefs
Models of agents that employ formal notions of mental states are useful and often easier to construct than models at the symbol (e.g., programming language) or physical (e.g., mechanical) level. In order to enjoy these bene ts, we must supply a coherent picture of mental-level models, that is, a description of the various components of the mental level, their dynamics and their inter-relations....
متن کاملDynamic Representation of Nominal Anaphora without Syntactic Indexing
The main goal of the work presented here is the construction of fully compositional representation of nominal anaphora in discourse. The proposed representation does not depend on the remote ascription (done outside the formal representation) of syntactic indexes, identifying anaphoric links. A formal language, based on dynamic semantics paradigm and being a variant of many-sorted type logic, i...
متن کاملCorporations are Cyborgs: Organizations elicit anger but not sympathy when they can think but cannot feel
Across four experiments, participants saw companies as capable of having ‘agentic’ mental states, such as having intentions, but incapable of having ‘experiential’ mental states, such as feeling pain. This difference in mental state ascription caused companies to elicit anger as villains, but not sympathy as victims. Differences in sympathy were mediated by perceived capacities for experience. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010